منابع مشابه
Non-commutative standard polynomials applied to matrices
The Amitsur–Levitski Theorem tells us that the standard polynomial in 2n non-commuting indeterminates vanishes identically over the matrix algebra Mn(K). For K = R or C and 2≤ r ≤ 2n−1, we investigate how big Sr(A1, . . . ,Ar) can be when A1, . . . ,Ar belong to the unit ball. We privilegiate the Frobenius norm, for which the case r = 2 was solved recently by several authors. Our main result is...
متن کاملProof planning Non-standard Analysis
We describe how non-standard analysis can be used to prove real analysis theorems, and how these proofs can be automated using proof-planning. In particular we borrow from the constructive analysis notions of inductive partitioning, and show how transferring to the non-standard model for the reals allows us a simple proof of the correctness of partitioning algorithms for certain real analysis t...
متن کاملAutomating Proof in Non-standard Analysis
Non-standard analysis provides a framework to carry out formally calculus proofs in a much more intuitive manner than in the 2 − δ formulation of Weierstraß. This paper introduces the notions of proof-planning and rippling, and gives an example showing how they can be applied to non-standard analysis to produce readable proofs. We present the related work in the area and give an outline of the ...
متن کاملNon-standard analysis and representation of reality
The aim of this paper is to show that the representation with the help of Nonstandard Analysis of a real phenomenon, presenting different observation scales, allows an important simplification of language. Indeed, it is convenient to have available the concept of infinitely small and infinitely large quantities in dealing with the macroscopic effects of microscopic phenomena. This is illustrate...
متن کاملAn Approach to Non-standard Analysis
This note has two principal aims: to portray an essence of Non-Standard Analysis as a particular structure (which we call lim-rim), noting its interplay with the notion of ultrapower, and to present a construction of Non-Standard Analysis, viewed as a matter of mathematics, where the set A of non-standard elements of a set A – “the adjunction of all possible limits” is a “good” kind of lim-rim ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1978
ISSN: 0001-8708
DOI: 10.1016/0001-8708(78)90082-8